* doc/lispref/debugging.texi (Profiling): Improve indexing.

(Bug#20576)

diff --git a/doc/lispref/debugging.texi b/doc/lispref/debugging.texi
index 0ccac18057c47de0fa97e592dadc510d4c3a4d9a..47b24997551edbe5f0f055e13272693730c0cb1d 100644 (file)
--- a/doc/lispref/debugging.texi
+++ b/doc/lispref/debugging.texi
@@ -815,6 +815,7 @@ be cleaner to combine them.
 @node Profiling
 @section Profiling
 @cindex profiling
+@cindex profile
 @cindex measuring resource usage
 @cindex memory usage